$\forall$$l$:IdLnk, ${\it tg}$:Id, $L$:Knd List.
\\[0ex]only events in $L$ send on $l$ with ${\it tg}$ $\Vdash$ ${\it es}$.only events in $L$ send on $l$ with ${\it tg}$